$\forall$$g$:OCMon, $x$, $y$, $z$:$\mid$$g$$\mid$. ($y$ $\leq$ $z$) $\Rightarrow$ (($x$ $\ast$ $y$) $\leq$ ($x$ $\ast$ $z$))